1

Complexity of propositional proofs under a promise

Year:
2010
Language:
english
File:
PDF, 243 KB
english, 2010
2

Gap Embedding for Well-Quasi-Orderings

Year:
2003
Language:
english
File:
PDF, 683 KB
english, 2003
3

The Strength of Multilinear Proofs

Year:
2008
Language:
english
File:
PDF, 799 KB
english, 2008
4

Resolution over linear equations and multilinear proofs

Year:
2008
Language:
english
File:
PDF, 828 KB
english, 2008
5

Algebraic proofs over noncommutative formulas

Year:
2011
Language:
english
File:
PDF, 347 KB
english, 2011
6

Short propositional refutations for dense random 3CNF formulas

Year:
2014
Language:
english
File:
PDF, 995 KB
english, 2014
10

Short Proofs for the Determinant Identities

Year:
2015
Language:
english
File:
PDF, 456 KB
english, 2015
12

Witnessing matrix identities and proof complexity

Year:
2018
Language:
english
File:
PDF, 435 KB
english, 2018
13

Characterizing Propositional Proofs as Noncommutative Formulas

Year:
2018
Language:
english
File:
PDF, 639 KB
english, 2018